]> dgit.raspbian.org Git - gnome-shell.git/commit
tools/toolbox: Allow to set new toolbox as default for other tools
authorFlorian Müllner <fmuellner@gnome.org>
Fri, 1 Sep 2023 01:40:10 +0000 (03:40 +0200)
committerMarge Bot <marge-bot@gnome.org>
Fri, 1 Dec 2023 15:58:21 +0000 (15:58 +0000)
commit5998036dc2bbf60720fcdc13f1e72045ff558f2b
treef7ef71085da7bc7b3ad851f502f582059168d8f3
parent98654e5446c8acc267a4f0964c704b7294a81be2
tools/toolbox: Allow to set new toolbox as default for other tools

When specified, write out a small config file that can be sourced
by other scripts to pick the default toolbox container.

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/2935>
tools/toolbox/create-toolbox.sh